#ifndef TIMER_H
#define TIMER_H

/**
  Syscall interface.
**/
namespace Timer_IF
{
  const int getTick =0;
}

#endif
